1. ......................
پدیدآورنده: Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. Categorical methods in computer science : with aspects from topology
پدیدآورنده: H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
3. Categorical methods in computer science : with aspects from topology
پدیدآورنده: H. Ehrig ... )et al.(, eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
4. Formal methods and software development
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
2
5. Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
پدیدآورنده: Hans-Jorg Kreowski...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal methods )Computer science(,، Computer software,Design ، Computer systems
رده :
QA
76
.
L28
Vol
.
3393
6. Fundamentals of algebraic graph transformation
پدیدآورنده: / H. Ehrig ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Graph grammars.,Graph theory.,Morphisms (Mathematics),Categories (Mathematics)
رده :
QA
,
267
.
3
,.
F86
,
2006
7. Fundamentals of algebraic graph transformation
پدیدآورنده: H. Ehrig ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Graph grammars,، Graph theory,، Morphisms )Mathematics(,، Categories )Mathematics(
رده :
QA
267
.
3
.
F86
2006
8. Fundamentals of algebraic graph transformation
پدیدآورنده: H. Ehrig....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Graph grammars,، Graph theory,، Morphisms )Mathematics(,، Categories )Mathematics(
رده :
QA
267
.
3
.
F86
9. Graph and model transformation
پدیدآورنده: Hartmut Ehrig...[et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Graph theory,Transformations (Mathematics)
رده :
QA166
10. Graph-grammars and their application to computer science :
پدیدآورنده: H. Ehrig ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing-- Congresses.,Graph grammars-- Congresses.
رده :
QA267
.
3
.
G68
1987
11. Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986: Proceedings
پدیدآورنده: H. Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Graph grammars,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
291
12. Graph grammars and their application to computer science : 6th international workshop, Paderborn, Germany, November 16-20, 1998 : selected papers
پدیدآورنده: Hartmut Ehrig... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Graph grammars,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1764
13. Graph transformations
پدیدآورنده: / Hartmut Ehrig ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Graph grammars, Congresses,Computer science, Congresses
رده :
E-BOOK
14. Graph transformations : second International Conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
پدیدآورنده: Hartmut Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Graph grammars,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
3256
15. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation )DFG( : final report
پدیدآورنده: Hartmut Ehrig ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Development -- Congresses ، Computer software -- Germany,Specifications -- Congresses ، Computer software -- Germany,Congresses ، Production engineering -- Technological inovations -- Germany,Congresses ، Traffic engineering -- Technological innovations -- Germany,Software -- Congresses ، Engineering -- Germany
رده :
QA
76
.
L28
Vol
.
3147
16. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده: Edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
17. Mathematical foundations of software development
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
18. Petri Net technology for communication-based systems : advances in Petri Nets
پدیدآورنده: Hartmut Ehrig ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer networks,، Petri nets
رده :
QA
76
.
L28
Vol
.
2472
19. Recent trends in data type specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings 1990
پدیدآورنده: H. Ehrig ... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
534
20. TAP Soft T' 85: Proceedings of the international joint conference on theory and practice of software development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده: edited by Hartmut Ehrig ...]et al[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Computer software - Development
رده :
QA
76
.
L4
v
.
185-186
